A Methodology for Program Construction by Stepwise Structural Enhancement
نویسندگان
چکیده
We advocate incremental construction of programs based on the idea of skeletons and techniques. Program construction begins bottom-up by rst identifying skeleton program(s) embodying the central data structure(s), and proceeds by building computations around the control ow of the skeleton program(s) by application of techniques. Techniques are high level abstractions for the generic, frequently performed structural changes to programs. Positive consequences of structuring a program in terms of techniques applied to skeletons are ease of explanation, potential for program analysis, proof of correctness, and program maintenance. The paper illustrates each of these beneets with simple programs.
منابع مشابه
The [3 + 3]-Cycloaddition Alternative for Heterocycle Syntheses: Catalytically Generated Metalloenolcarbenes as Dipolar Adducts
The combination of two or more unsaturated structural units to form cyclic organic compounds is commonly referred to as cycloaddition, and the combination of two unsaturated structural units that forms a six-membered ring is formally either a [5 + 1]-, [4 + 2]-, [2 + 2 + 2]-, or [3 + 3]-cycloaddition. Occurring as concerted or stepwise processes, cycloaddition reactions are among the most usefu...
متن کاملApplying Techniques to Skeletons
This paper concerns our research on developing a theory and methodology appropriate for systematically building complicated Prolog programs. Programs are constructed procedurally from standard components. We identify skeletons, basic Prolog programs with a well-understood control ow, and techniques, standard Prolog programming practices, as basic components. Applying a technique to a skeleton c...
متن کاملDevelopment of a Prolog Tracer by Stepwise Enhancement
A Prolog tracer is essentially a Prolog interpreter extended to provide features, such as retry, fail, leap, skip, and quasi-skip, to trace the computational ow of a program. This paper describes how a Prolog tracer may be built by stepwise enhancement. Using this method, rst a collection of partial-tracers are developed, each partial-tracer providing only a part of the tracer's functionality. ...
متن کاملThe Effectiveness of Prevention and Relationship Enhancement Program on the Quality of Life and Marital Commitment in Married Women
Background and purpose: There are several ways to enhance marriage. Prevention and Relationship Enhancement Program (PREP) are among the methods of educating relationships. Relationship education programs have made a significant contribution to the growth and development of millions of couples. This study aimed to investigate the effectiveness of the Prevention and Relationship Enhancement Pro...
متن کاملA Methodology to Prioritize the Construction Projects of New Railway Infrastructures for Privatization in Railway Networks (Case Study: Iran)
This study aims to develop a novel methodology to prioritize the construction of new railway infrastructures for privatization. The private sector can cooperate to solve the capacity problems of railway networks, by the construction of new infrastructure. The purpose of this study is to answer the basic question that whether the capacity problems of the railway networks can be solved simply by ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994